161. How to make computers easier to use : digest of papers
المؤلف: Compcon, )11th, 5791, Washington, D.C.(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer engineering-- Congresses
رده :
QA
76
.
6
.
C6276
1975
162. Hybrid systems
المؤلف: / Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Hybrid computers--Congresses,Digital control systems--Congresses
رده :
QA
,
76
.
38
,.
H73
,
2007
163. IEEE International Conference on Computer Design : VLSI in computer & processors : proceedings : ICCD 2004, 11-13 October 2004, San Jose, CA
المؤلف: sponsored by IEEE Computer Society, IEEE Circuits and Systems Society; in cooperation with IEEE Electron Devices Society
المکتبة: (طهران)
موضوع: Design and construction -- Congresses ، Microcomputers,Congresses ، Electronic digital computers -- Circuits,Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Computer engineering
رده :
TK
7888
.
3
.
I343
2004
164. Innovation in manufacturing networks
المؤلف: / edited by Americo Azevedo.
المکتبة: (طهران)
موضوع: Computer integrated manufacturing systems -- Congresses, Expert systems (Computer science) -- Congresses, Manufacturing processes -- Automation -- Congresses
رده :
TS
155
.
63
.
I35
2008
165. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
BF
311
.
I5664
1996
166. International Computer Performance and Dependability Symposium, IPDS'96: proceedings, September 4-6, 1996, Urbana-Champaign, Illinois
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Evaluation-- Congresses
رده :
QA
76
.
9
.
E94
.
I54
1996
167. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
المؤلف: International Symposium on Programming, 4th, 0891, Paris
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
I575
1980
168. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
المؤلف: edited by B. Robinet
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
83
169. International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982
المؤلف: International Symposium on Programming, )5th, 2891, Turin, Italy(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
I575
1982
170. International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings
المؤلف: International Symposium on Programming, )6th, 4891, Toulouse, France(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
I575
1984
171. International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings
المؤلف: edited by M. Paul and B. Robinet
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
167
172. Knowledge-Based software engineering
المؤلف: Proceedings of the Joint conference on Knowledge-Based software engineering in smolenice)3rd,Slovania,8991(
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Electronic digital computers-programming-Congresses,، Software engineering-Congresses,، Programming-Congresses)Electronic computers(-Congresses
رده :
QA
76
.
6
.
P76
1998
173. Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979
المؤلف: edited by Jeffrey M. Tobias
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
79
174. Language hierarchies and interfaces : international summer school
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
L335
175. Language hierarchies and interfaces : international summer school
المؤلف: F. L. Bauer ... )et al.( ; edited by F. L. Bauer and K. Samelson
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
46
176. Logic of programs; Workshop, ETH Zurich, May-July, 1979
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic circuits-- Congresses,، Electronic digital computers-- Circuits-- Congresses
رده :
TK
7888
.
4
.
L61
1979
177. Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
L595
1984
178. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
المؤلف: edited by Dexter Kozen
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
131
179. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
المؤلف: Logics of Programs Workshop, )1891, Yorktown Heights, N.Y.(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
L594
1981
180. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
المؤلف: edited by Edmund Clarke and Dexter Kozen
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
164
